Unwinding biological systems
نویسندگان
چکیده
Unwinding conditions have been fruitfully exploited in Information Flow Security to define persistent security properties. In this paper we investigate on their meaning and possible uses in the analysis of biological systems. In particular, we elaborate on the notion of robustness and propose some instances of unwinding over the process algebra Bio-PEPA and over hybrid automata. We exploit such instances to analyze two case-studies: Neurospora Crassa circadian system and Influenza kinetics models.
منابع مشابه
Repetitive RNA unwinding by RNA helicase A facilitates RNA annealing
Helicases contribute to diverse biological processes including replication, transcription and translation. Recent reports suggest that unwinding of some helicases display repetitive activity, yet the functional role of the repetitiveness requires further investigation. Using single-molecule fluorescence assays, we elucidated a unique unwinding mechanism of RNA helicase A (RHA) that entails disc...
متن کاملSingle-molecule visualization of RecQ helicase reveals DNA melting, nucleation, and assembly are required for processive DNA unwinding.
DNA helicases are motor proteins that unwind double-stranded DNA (dsDNA) to reveal single-stranded DNA (ssDNA) needed for many biological processes. The RecQ helicase is involved in repairing damage caused by DNA breaks and stalled replication forks via homologous recombination. Here, the helicase activity of RecQ was visualized on single molecules of DNA using a fluorescent sensor that directl...
متن کاملCoinductive unwinding of security-relevant hyperproperties: extended version
Unwinding relations have been widely used to prove that finite systems are secure with respect to a variety of noninterference policies. The latter are prominent instances of security-relevant hyperproperties. As hyperproperties are defined on potentially infinite systems, a new mathematical development is needed in order to (re)use unwinding relations for generic verification of securityreleva...
متن کاملCoinductive Unwinding of Security-Relevant Hyperproperties
Unwinding relations have been widely used to prove that finite systems are secure with respect to a variety of noninterference policies. The latter are prominent instances of security-relevant hyperproperties. As hyperproperties are defined on potentially infinite systems, a new mathematical development is needed in order to (re)use unwinding relations for generic verification of security-relev...
متن کاملNucleic acid unwinding by hepatitis C virus and bacteriophage t7 helicases is sensitive to base pair stability.
Helicases are motor enzymes that convert the chemical energy of NTP hydrolysis into mechanical force for motion and nucleic acid strand separation. Within the cell, helicases process a range of nucleic acid sequences. It is not known whether this composite rate of moving and opening the strands of nucleic acids depends on the base sequence. Our presteady state kinetic studies of helicases from ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 587 شماره
صفحات -
تاریخ انتشار 2015